The aim of the article is to describe the myth of femme fatale. Starting from popular culture and ending with the representatives of archaic cultures, the author tries to indicate the women who are described in patriarchal narratives as those who bring men to defeat and ruin. An important figure for the whole argument is Lilith, who, according to Jewish legends, was the first wife of Adam. Lilith was erased from the biblical tradition because she opposed her partner and turned (...) away from God. She has become the female archetype of sin, the symbol of sexual vampirism and the rejection of motherhood. All these features make up the femme fatale syndrome. (shrink)

Faces of liberalism: formation of a Christian liberal community in Krakow: The aim of the essay is to show the birth of the Kraków liberal community in the years 1977–1980. An attempt is made to reconstruct the main ideological assumptions of the liberal entourage in the context of the opposition activities of Robert Kaczmarek and Mirosław Dzielski. The author refers to the main events occurring in this period, such as the establishment of the Prywatna Inicjatywa Krakowska and the magazine Merkuryusz (...) Krakowski i Światowy, as well as paying special attention to the program texts that were published in it. The article also contains a reconstruction of the debate aimed at classifying the views presented by Mirosław Dzielski. (shrink)

Name der Zeitschrift: Millennium Jahrgang: 10 Heft: 1 Seiten: 13-38.

Name der Zeitschrift: Millennium Jahrgang: 9 Heft: 1 Seiten: 145-162.

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from what we (...) take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

An erotetic calculus for a given logic constitutes a sequent-style proof-theoretical formalization of the logic grounded in Inferential Erotetic Logic ). In this paper, a new erotetic calculus for Classical Propositional Logic ), dual with respect to the existing ones, is given. We modify the calculus to obtain complete proof systems for the propositional part of paraconsistent logic CLuN and its extensions CLuNs and mbC. The method is based on dual resolution. Moreover, the resolution rule is non-clausal. According to the (...) authors knowledge, this is the first account of resolution for mbC. Last but not least, as the method is grounded in IEL, it constitutes an important tool for the so-called question-processing. (shrink)

The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction with one’s own (...) words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

This paper’s primary purpose is to show that there is a peculiar alternative to scientism whose central thesis is not about sources of knowledge or the existence of various objects, but it aims at setting out a strategy to help decide which of the two mutually exclusive beliefs is the better one to adopt. Scientophilia, to coin a term, recommends preferring, without any discussion, a position consistent with the consensus of credible and reliable experts in a given domain. In case (...) there is no such agreement, mainly because peers disagree with each other, or experts are difficult to identify, it is recommended for a scientophile to suspend judgment. Scientophilia is not a position on science or human knowledge boundaries, but it deals with the practical side of belief change. Verdicts made by this approach are partially similar to those offered by mild scientism, as scientophilia puts scientific knowledge as one of the most reliable sources. However, it is also consistent with mild antiscientism, as in some particular cases (for example, Moorean truths), it assigns reliable expertise to non-scientific experts. Therefore it is a third way. (shrink)

The aim of the paper is to present two natural deduction systems for Intuitionistic Sentential Calculus with Identity ( ISCI ); a syntactically motivated \(\mathsf {ND}^1_{\mathsf {ISCI}}\) and a semantically motivated \(\mathsf {ND}^2_{\mathsf {ISCI}}\). The formulation of \(\mathsf {ND}^1_{\mathsf {ISCI}}\) is based on the axiomatic formulation of ISCI. Its rules cannot be straightforwardly classified as introduction or elimination rules; ISCI -specific rules are based on axioms characterizing the identity connective. The system does not enjoy the standard subformula property, but due (...) to the normalization procedure non-subformulas can label only leaves of proofs. In \(\mathsf {ND}^2_{\mathsf {ISCI}}\), we propose only two general identity-related rules, in reference to the treatment of the identity connective in First-Order Logic. (shrink)

We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity. We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.

In this paper I present a novel approach to resolving a problem for inferentialist metasemantic theories that arises from a naturalistic point of view. According to normative inferentialists, expressions have their semantic content in virtue of the inferential rules that govern them. This poses a problem because a rule is a naturalistically suspicious normative notion that is used by normative inferentialists as an explanatory tool. I propose a reconciliation of naturalism and inferentialism by adopting a quasi-realist view on inferential rules. (...) According to this approach, inferential rules viewed externally are considered non-normative constitutive rules that are implicit in the dispositions of a linguistic community to allow and prohibit certain inferences. Conversely, from the internal perspective on linguistic practice, inferential rules are treated as regulative and carry a normative force, i.e., they have an action-guiding character because of the fact that they are individually accepted by members of a linguistic community. (shrink)

The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for iterated contours of sequential cascades. A related problem of continuous extension of maps between maximal elements of sequential cascades to full subcascades is solved in full generality.

Celem artykułu jest porównanie szczególnej odmiany teorii spiskowych, tzw. globalnej teorii spiskowej do sławnego eksperymentu myślowego autorstwa H. Putnama o mózgach w naczyniu. Uznanie istnienia złowrogiego spisku światowego stawia wierzącą weń osobę w podobnej sytuacji do tej, w której znajduje się człowiek próbujący rozstrzygnąć, czy jest mózgiem w naczyniu. Dzieje się tak, ponieważ conspiratio maligna ma niczym nieograniczoną moc wywierania wpływu, kontrolowania, a nawet tworzenia dowolnych aspektów naszego społecznego, politycznego i ekonomicznego życia. Wszechmoc tej tajemniczej organizacji jest powodem, dla którego (...) jej ofiary nie mogą nikomu ufać, ani rządowi, ani naukowcom, a nawet innym wyznawcom teorii spiskowych. Wszystkich – ludzi i instytucje – podejrzewa się o to, że są przekupieni, kontrolowani lub zastraszeni przez spisek. Zachować sceptycyzm wobec wszystkiego, to jedyne wyjście z tej sytuacji. (shrink)

Obliczeniowa teoria umysłu wywarła znaczący wpływ na kształt współczesnej filozofii zajmującej się tym fenomenem. Dopuszczenie możliwości algorytmizacji ludzkich procesów umysłowych pociąga za sobą konsekwencje zarówno w postrzeganiu umysłu pod kątem funkcjonalnym, jak i treściowym. Generuje to również pytanie o naturę tychże procesów. Odradza się tym samym znany z tradycji filozofii kontynentalnej problem relacji ciało-umysł. Odrzucenie kartezjańskiego dualizmu doprowadziło wielu przedstawicieli kognitywnego nurtu do przeświadczenia, że źródeł naszych treści mentalnych poszukiwać należy w procesach zachodzących w mózgu. Celem artykułu jest analiza argumentów (...) adwersarzy obliczeniowej teorii, ze szczególnym uwzględnieniem ich konsekwencji dla programu wyjaśniania fenomenu umysłu w zgodzie z paradygmatem materialistycznym. (shrink)

Zagadnienie przyczynowania mentalnego pozostaje niezwykle istotnym i ciekawym problemem w ramach współczesnej filozofii umysłu. Wśród rozmaitych ujęć i teorii znaczącą rolę pełnią rozważania koreańskiego filozofa Jaegwona Kima. Zyskujący na popularności nurt fizykalizmu nieredukcyjnego musi się zmierzyć z nakreślonymi przez Kima trudnościami. Ograniczeni zasadą przyczynowego domknięcia sfery fizycznej i groźbą przyczynowego wykluczenia sfery mentalnej, antyredukcjoniści poszukują wyjścia z tych arcytrudnych opresji.

In this paper we are applying certain strategy described by Negri and Von Plato :418–435, 1998), allowing construction of sequent calculi for axiomatic theories, to Suszko’s Sentential calculus with identity. We describe two calculi obtained in this way, prove that the cut rule, as well as the other structural rules, are admissible in one of them, and we also present an example which suggests that the cut rule is not admissible in the other.

This paper presents an easy-to-use and layperson-friendly general demarcation for recognising scientific claims. The research was inspired by Gerd Gigerenzer’s approach to heuristics, which consists of a few yes or no questions and various ideas from social epistemology, such as Longino’s venues, Goldman’s notion of cognitive expertise, Anderson’s hierarchy of experts, and Lackey’s concept of acquiring knowledge through others’ testimony. The whole procedure is divided into two tasks. The first establishes whether a given testimony source S is an expert by (...) checking S’s h-index on the Google Scholar search engine. The second is to search Google Scholar for any documented evidence (e.g., reports and textbooks) that proves that there is a consensus among experts that S’s claim is correct. (shrink)

Nāgārjuna’s Middle Way (Madhyamaka) doctrine met with the objection that it is a mere verbal attack (vitaṇḍā) against other philosophical positions. As one of the Madhyamaka critics pointed out: because Nāgārjuna does not hold own position, he is not able to justify his criticism of the essence (svabhāva). The article is an answer to the question whether, in the context of Indian philosophy, it is possible to know things devoid of essences. Theory of knowledge of this kind, i.e. the concept (...) of omniscience (sarvajña) was presented in Aṣṭasāhasrikāprajñāpāramitā sutra. Associations between Nāgārjuna’s texts and the sutra suggest that omniscience could be a substrate for epistemological position of the Middle Way. (shrink)

Assume that there is no quasi-measurable cardinal not greater than 2ω. We show that for a c. c. c. σ -ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I] with a Borel base of subsets of an uncountable Polish space, if [MATHEMATICAL SCRIPT CAPITAL A] is a point-finite family of subsets from [MATHEMATICAL DOUBLE-STRUCK CAPITAL I], then there is a subfamily of [MATHEMATICAL SCRIPT CAPITAL A] whose union is completely nonmeasurable, i.e. its intersection with every non-small Borel set does not belong to the σ (...) -field generated by Borel sets and the ideal [MATHEMATICAL DOUBLE-STRUCK CAPITAL I]. This result is a generalization of the Four Poles Theorem and a result from [3]. (shrink)

The aim of this paper is to present two arguments against the dialectical interpretation of Nagarjuna's philosophy. This interpretation understands Nagarjuna's philosophy as a method of deconstruction, abstracting from Nagarjuna's own standpoint. The first argument refers to the metaphysical presuppositions of this method. The second argument refers to the positive statements asserted by Nagarjuna and focuses mainly on those concerning Buddhist practice. Furthermore, the conception of 'skilful means' and 'the two truths' will be discussed. The conclusion of this paper is (...) that Nagarjuna's philosophy is based upon determining the conditions of the possibility of the Buddhist practice rather than on a dialectic without any metaphysical assumptions. (shrink)

The COVID-19 pandemic caused university education to transition from face-to-face contacts to virtual learning environments. Young adults were forced to live an entirely new life online, without valuable and enjoyable social interaction. We examined subjective perspectives towards life online during the pandemic. We identified four viewpoints about life mediated by computers. Two viewpoints express “struggling”: Viewpoint 1 (Angry, Depressed and Overwhelmed), and Viewpoint 3 (Restricted to and Overwhelmed by Virtuality). A third feeling-state conveys experiences of “surviving”: Viewpoint 4 (Isolated and (...) Powerless in Convenience). Surprisingly, Viewpoint 2 is about “thriving” (Comfortable and Convenient Routine with Computers). The research shows that virtualization, confinement, and anxiety are taking a toll on the mental health of some members of the younger generation, while at the same time other members feel they are thriving in a situation of limited resources, virtuality, and reduced face-to-face human interaction. (shrink)

The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \. As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.

We introduce a notion of ideal type such that any two ideals with the same ideal type are isomorphic. From this we infer, under the axiom t = h, that each ideal which consists of all nowhere Ramsey sets contained in some family of infinite subsets of natural numbers is isomorphic with the ideal of all nowhere Ramsey sets.

In the article the author rejects traditional, logical interpretation of the famous “Is-Ought Paragraph” from David Hume’s A Treatise of Human Nature. He argues that most of the interpreters failed to grasp the wide philosophical background of the IsOP, which is, generally speaking, a passionate discussion between ethical rationalists and ethical anti-rationalists in the 17th and 18th century British philosophy. The author shows that the Hume’s main aim in the IsOP is to strengthen his previous arguments against ethical rationalism and (...) to reinforce (and not subvert at all) the common-sense (vulgar) systems of morality, likewise he did in the first book of the Treatise… in case of the theory of knowledge. The author argues that there is no putative thesis of logic in the IsOP, which some scholars call “Hume’s Law”. (shrink)

The article aims to present issues arising out of differences in the way that the terms chimera and hybrid are defined in legal systems and by natural sciences in the context of mixing human and animal DNA. The author analyses the different approaches to defining these terms used in various legal systems, dividing them into groups in light of conclusions reached from examining definitions used in natural sciences. The distinction is used to answer the question of which approach to definitions (...) applied by legislators is the best way to handle the subject of human-animal organisms, given the need to balance their impact on medicine and the ethical concerns that arise. (shrink)

E. T. A. Hoffmann is one of the most famous representatives of early German horror literature. He has been both, inspired by its predecessors, as well as having influenced the work of many of his successors, and hence the development of the whole genre. The present article examines a story by E. T. A. Hoffmann, “Vampirismus” from the collection of short stories “Serapions Brüder”. Emphases are, on the one hand, on the mechanisms that cause readers’ fear and uncertainty and, on (...) the other hand, the peculiarity of the vampire or Nachzehrer figure and their function in the story. Firstly, it will be shown that the vampire depicted in the work is not actually a vampire. We find here a ghoul; that is a demon from Arab culture. However, the ghoul has more to do with the monster outlined by Antoine Galland in his translation of the “One Thousand and One Nights” than with traditional folk beliefs. Secondly, the author comes to the conclusion that Hoffmann has functionalized the Horrible. This element does not work by itself, but serves the author as the background of the action. And he is using this background to let the characters reveal all their weaknesses and dark sides. The violation of the order ruling in the world as it is represented engages the reader and at the same time raises his fear. The resulting excited feelings and general alienation are further reinforced for the figure of the Nachzehrer that occurs instead of a formerly innocent, graceful girl. The emergence of the supernatural – the final confirmation of the breach of order – is responsible for the effect just described. (shrink)

Stereotype accuracy is a contentious topic. Part of the problem is that typically stereotypes are generic statements whose truth status is unclear due to the fact that they are ill-defined quantitatively. The article focuses on the epistemic aspect of stereotypical beliefs. In the ongoing debate, I side with those who argue against stereotypes being wrong or inaccurate by virtue of definition alone. I propose that, when possible, stereotype accuracy should be assessed in probabilistic terms by inspecting how likely a generic (...) statement is to be true when applied to individual representative of the relevant group. This approach applies equally well to investigating the actual and the perceived accuracy of stereotypes. (shrink)

Recenzja książki: J. Fodor, M. Piattelli-Palmarini, _Błąd Darwina_, Wydawnictwo Naukowe PWN 2018.

Our main inspiration is the work in paper (Gitik and Shelah in Isr J Math 124(1):221–242, 2001). We will prove that for a partition \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} of the real line into meager sets and for any sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}_n}$$\end{document} of subsets of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document} one can find a sequence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_n}$$\end{document} such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{B}_{n}}$$\end{document}’s are pairwise disjoint and have the same “outer measure with respect to the ideal of meager sets”. We get also generalization of this result to a class of σ-ideals posessing Suslin property. However, in that case we use additional set-theoretical assumption about non-existing of quasi-measurable cardinal below continuum. (shrink)

p-consequence (plausible consequence; see [2]) allows for a formulation of non-deductive reasonings, i.e., such where the conclusion has weaker justification then assumptions and thus when added to the set of assumptions results in its extension. But theoretical modesty of p-consequence operation does not tell the difference between “good” and “worse” conclusions. Therefore the bisconsequence is introduced.